منابع مشابه
Predicate logic
Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...
متن کاملBisimulations and Predicate Logic
Elementary ((rst-order) and non-elementary (set-theoretic) aspects of the largest bisimulation are considered , with a view towards analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding...
متن کاملPredicate Logic with Anaphora
In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without d-dling with orthodox notions of scope and binding. In contrast with its predecessor dynamic predicate logic (Groenendijk and Stokhof 1991), the system of ...
متن کاملResolution for Predicate Logic
A substitution is a function θ from the set of σ-terms back to itself such that (writing function application on the right) cθ = c for each constant symbol c and f(t1, . . . , tk)θ = f(t1θ, . . . , tkθ) for each k-ary function symbol f . It is clear that the composition of two such substitutions (as functions) is also a substitution. We have previously considered substitutions of the form [t/x]...
متن کاملPredicate Logic with Definitions
Predicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation definitions called abbreviations). Definiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu)
سال: 2014
ISSN: 0019-4344,1884-0051
DOI: 10.4259/ibk.62.3_1156